\begin{verbatim}
> (e*d) mod (p-1);
1
> (e*d) mod (q-1);
1
> n := p*q;
> m := Random(n);
> c := Modexp(m,e,n);
> m eq Modexp(c,d,n);
true
> m eq Modexp(m,e*d,n);
true
\end{verbatim}
